Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Differenzenrechnung
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
Die Differenzenrechnung ist ein Teilgebiet der Mathematik, das die diskrete Entsprechung zur Analysis (Differenzial- und Integralrechnung) bildet. WΓ€hrend sich die Analysis mit Funktionen beschΓ€ftigt, die auf kontinuierlichen RΓ€umen definiert sind (um einen Grenzwertbegriff etablieren zu kΓΆnnen), im Besonderen mit Funktionen auf den reellen Zahlen, interessiert man sich in der Differenzenrechnung fΓΌr Funktionen auf den ganzen Zahlen β„€. Die Differenzenrechnung kann zur Berechnung von Reihen angewandt werden.

Contents

β€’ Siehe auch
β€’ Literatur
β€’ Weblinks

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Differenzen und Summen

Die bekannte kontinuierliche Differentialrechnung basiert auf dem Differenzialoperator D {\displaystyle \mathrm {D} } , der wie folgt definiert ist:

D f ( x ) = lim h β†’ β†’ 0 f ( x + h ) βˆ’ βˆ’ f ( x ) h {\displaystyle \mathrm {D} f(x)=\lim _{h\rightarrow 0}{\frac {f(x+h)-f(x)}{h}}}

Die Differenzenrechnung hingegen verwendet einen sogenannten Differenzenoperator Ξ” Ξ” {\displaystyle \Delta } :

Ξ” Ξ” f ( x ) = f ( x + 1 ) βˆ’ βˆ’ f ( x ) {\displaystyle \Delta f(x)=f(x+1)-f(x)} .

Die umgekehrte Operation wird nicht wie in der kontinuierlichen Differentialrechnung mit dem unbestimmten Integral, sondern mit einer unbestimmten Summe βˆ‘ βˆ‘ f ( x ) {\displaystyle \sum f(x)} erreicht, die sich zum Differenzenoperator wie folgt verhΓ€lt:

g ( x ) = Ξ” Ξ” f ( x ) ⟺ ⟺ βˆ‘ βˆ‘ g ( x ) Ξ΄ Ξ΄ x = f ( x ) + C {\displaystyle g(x)=\Delta f(x)\quad \Longleftrightarrow \quad \sum g(x)\;\delta x=f(x)+C} .

Ξ΄ Ξ΄ {\displaystyle \delta } verhΓ€lt sich hier zu Ξ” Ξ” {\displaystyle \Delta } wie d {\displaystyle \mathrm {d} } zu D {\displaystyle \mathrm {D} } in der kontinuierlichen Differentialrechnung. C {\displaystyle C} steht fΓΌr den Wert einer beliebigen Funktion, die fΓΌr ganzzahlige x {\displaystyle x} konstant ist ( C ( x + 1 ) = C ( x ) {\displaystyle C(x+1)=C(x)} ).

Das Pendant zu bestimmten Integralen sind bestimmte Summen. Diese entsprechen gewΓΆhnlichen Summen ohne den Wert am hΓΆchsten Index:

βˆ‘ βˆ‘ βˆ‘ βˆ‘ a b ⁑ ⁑ f ( x ) Ξ΄ Ξ΄ x = βˆ‘ βˆ‘ k = a b βˆ’ βˆ’ 1 f ( k ) = [ F ( x ) ] a b = F ( b ) βˆ’ βˆ’ F ( a ) {\displaystyle \sideset {}{_{a}^{b}}\sum f(x)\;\delta x=\sum _{k=a}^{b-1}f(k)=[F(x)]_{a}^{b}=F(b)-F(a)} .

Eigenschaften

Invariante Funktion

Eine unter dem Differenzialoperator invariante Funktion ist die Exponentialfunktion der Basis e. In der Differenzenrechnung ist die Exponentialfunktion der Basis 2 invariant, wie sich leicht ermitteln lΓ€sst:

Ξ” Ξ” f ( x ) = f ( x ) ⟺ ⟺ f ( x + 1 ) βˆ’ βˆ’ f ( x ) = f ( x ) ⟺ ⟺ f ( x + 1 ) = 2 f ( x ) ⟺ ⟺ βˆƒ βˆƒ C : f ( x ) = C β‹… β‹… 2 x {\displaystyle {\begin{aligned}&\Delta f(x)=f(x)\\\Longleftrightarrow \quad &f(x+1)-f(x)=f(x)\\\Longleftrightarrow \quad &f(x+1)=2f(x)\\\Longleftrightarrow \quad &\exists C:f(x)=C\cdot 2^{x}\\\end{aligned}}}

Fallende FakultΓ€ten

Eine einfache Rechenregel gibt es fΓΌr fallende FakultΓ€ten, die fΓΌr jede Ganzzahl m {\displaystyle m} wie folgt definiert sind:

x m _ _ = x ! ( x βˆ’ βˆ’ m ) ! = { x ( x βˆ’ βˆ’ 1 ) … … ( x βˆ’ βˆ’ m + 1 ) ⏞ ⏞ m Faktoren , wenn m β‰₯ β‰₯ 0 1 ( x + 1 ) ( x + 2 ) … … ( x βˆ’ βˆ’ m ) ⏟ ⏟ | m | Faktoren , wenn m < 0 {\displaystyle x^{\underline {m}}={\frac {x!}{(x-m)!}}={\begin{cases}\overbrace {x(x-1)\ldots (x-m+1)} ^{m{\text{ Faktoren}}}&{\text{, wenn }}m\geq 0\\&\\\underbrace {\frac {1}{(x+1)(x+2)\ldots (x-m)}} _{|m|{\text{ Faktoren}}}&{\text{, wenn }}m<0\end{cases}}}

Dieser Ausdruck verhÀlt sich in der Differenzenrechnung folgendermaßen:

β€’ Ξ” Ξ” ( x m _ _ ) = m x m βˆ’ βˆ’ 1 _ _ {\displaystyle \Delta (x^{\underline {m}})=mx^{\underline {m-1}}}
β€’ βˆ‘ βˆ‘ βˆ‘ βˆ‘ a b ⁑ ⁑ x m _ _ Ξ΄ Ξ΄ x = { [ x m + 1 _ _ m + 1 ] a b , wenn m β‰  β‰  βˆ’ βˆ’ 1 [ H x ] a b , wenn m = βˆ’ βˆ’ 1 {\displaystyle \sideset {}{_{a}^{b}}\sum x^{\underline {m}}\;\delta x={\begin{cases}\left[{\frac {x^{\underline {m+1}}}{m+1}}\right]_{a}^{b}&{\text{, wenn }}m\neq -1\\\left[H_{x}\right]_{a}^{b}&{\text{, wenn }}m=-1\end{cases}}}

wobei H n {\displaystyle H_{n}} die n {\displaystyle n} -te harmonische Zahl ist. Die harmonische Reihe ist somit das GegenstΓΌck zum natΓΌrlichen Logarithmus. Die Übereinstimmung geht so weit, dass Ξ” Ξ” ( x β‹… β‹… H x βˆ’ βˆ’ x ) = H x {\displaystyle \Delta (x\cdot H_{x}-x)=H_{x}} ebenfalls gilt.

Fallende FakultΓ€ten und Potenzen kΓΆnnen stets mittels Stirling-Zahlen erster bzw. zweiter Art ineinander umgewandelt werden:

x m _ _ = βˆ‘ βˆ‘ k [ m k ] ( βˆ’ βˆ’ 1 ) m βˆ’ βˆ’ k x k {\displaystyle x^{\underline {m}}=\sum _{k}\left[{\begin{matrix}m\\k\end{matrix}}\right](-1)^{m-k}x^{k}} ,
x m = βˆ‘ βˆ‘ k { m k } x k _ _ {\displaystyle x^{m}=\sum _{k}\left\{{\begin{matrix}m\\k\end{matrix}}\right\}x^{\underline {k}}}

Außerdem gilt der binomische Lehrsatz auch für fallende FakultÀten.

Beispiel zur Berechnung der Summe der ersten n {\displaystyle n} Quadratzahlen:

βˆ‘ βˆ‘ k = 0 n k 2 = βˆ‘ βˆ‘ βˆ‘ βˆ‘ 0 n + 1 ⁑ ⁑ x 2 Ξ΄ Ξ΄ x = βˆ‘ βˆ‘ βˆ‘ βˆ‘ 0 n + 1 ⁑ ⁑ ( x 2 _ _ + x 1 _ _ ) Ξ΄ Ξ΄ x = ( n + 1 ) 3 _ _ 3 + ( n + 1 ) 2 _ _ 2 = n ( n + 1 2 ) ( n + 1 ) 3 {\displaystyle \sum _{k=0}^{n}k^{2}=\sideset {}{_{0}^{n+1}}\sum x^{2}\delta x=\sideset {}{_{0}^{n+1}}\sum (x^{\underline {2}}\,+\,x^{\underline {1}})\delta x={\frac {(n+1)^{\underline {3}}}{3}}+{\frac {(n+1)^{\underline {2}}}{2}}={\frac {n(n+{\frac {1}{2}})(n+1)}{3}}} .

Produktregel und partielle Summation

Die Produktregel der kontinuierlichen Differentialrechnung ist in folgender Form gΓΌltig:

Ξ” Ξ” ( u ( x ) v ( x ) ) = u ( x ) Ξ” Ξ” v ( x ) + v ( x + 1 ) Ξ” Ξ” u ( x ) {\displaystyle \Delta (u(x)v(x))=u(x)\Delta v(x)+v(x+1)\Delta u(x)} .

Diese Regel lΓ€sst sich durch EinfΓΌhrung eines Verschiebeoperators E {\displaystyle \mathrm {E} } , definiert als E f ( x ) = f ( x + 1 ) {\displaystyle \mathrm {E} f(x)=f(x+1)} , kompakter ausdrΓΌcken:

Ξ” Ξ” ( u v ) = u Ξ” Ξ” v + E v Ξ” Ξ” u {\displaystyle \Delta (uv)=u\Delta v+\mathrm {E} v\Delta u} .

Die Umstellung der Terme fΓΌhrt zur Formel der partiellen Summation Γ€hnlich der partiellen Integration:

βˆ‘ βˆ‘ u Ξ” Ξ” v = u v βˆ’ βˆ’ βˆ‘ βˆ‘ E v Ξ” Ξ” u {\displaystyle \sum u\,\Delta v=uv-\sum \mathrm {E} v\,\Delta u} .

Beispiel zur Berechnung der Summe βˆ‘ βˆ‘ k = 0 n k 2 k {\displaystyle \sum _{k=0}^{n}k2^{k}} :

Hier ist u ( x ) = x {\displaystyle u(x)=x} und Ξ” Ξ” v ( x ) = 2 x {\displaystyle \Delta v(x)=2^{x}} , sodass Ξ” Ξ” u ( x ) = 1 {\displaystyle \Delta u(x)=1} , v ( x ) = 2 x {\displaystyle v(x)=2^{x}} und E v ( x ) = 2 x + 1 {\displaystyle \mathrm {E} v(x)=2^{x+1}} .

Die Formel zur partiellen Summation ergibt: βˆ‘ βˆ‘ x 2 x Ξ΄ Ξ΄ x = x 2 x βˆ’ βˆ’ βˆ‘ βˆ‘ 2 x + 1 Ξ΄ Ξ΄ x = x 2 x βˆ’ βˆ’ 2 x + 1 + C {\displaystyle \sum x2^{x}\;\delta x=x2^{x}-\sum 2^{x+1}\;\delta x=x2^{x}-2^{x+1}+C} .

Dies führt schließlich zur Lâsung:

βˆ‘ βˆ‘ k = 0 n k 2 k = βˆ‘ βˆ‘ βˆ‘ βˆ‘ 0 n + 1 ⁑ ⁑ x 2 x Ξ΄ Ξ΄ x = [ x 2 x βˆ’ βˆ’ 2 x + 1 ] 0 n + 1 = ( n βˆ’ βˆ’ 1 ) 2 n + 1 + 2 {\displaystyle {\begin{aligned}\sum _{k=0}^{n}k2^{k}&=\sideset {}{_{0}^{n+1}}\sum x2^{x}\;\delta x\\&=\left[x2^{x}-2^{x+1}\right]_{0}^{n+1}\\&=(n-1)2^{n+1}+2\end{aligned}}}

Siehe auch
Literatur

β€’ A. O. Gelfond: Differenzenrechnung. Dt. Verlag d. Wiss., Berlin, 1958
β€’ Ronald Graham u. a.: Concrete Mathematics. Addison-Wesley, Upper Saddle River 2008, ISBN 0-201-55802-5
β€’ N. E. NΓΆrlund: Vorlesungen ΓΌber Differenzenrechnung. Springer-Verlag, Berlin, 1924; Reprint Chelsea, New York, 1954

Weblinks

β€’ Brian Hamrick: Discrete Calculus (PDF, 70 kB)